Aphrodite à Délos : culte privé et public à l'époque hellénistique

Introduction à Unicode et à l'ISO 10646

This article presents a concise overview of Unicode 3.2 and its ISO equivalent, ISO/IEC 10646. It introduces and summarizes the main features and design principles before examining the character encoding model, normalizations forms and common processes such as sorting and rendering and their relationship with Unicode. MOTS-CLÉS : Unicode, ISO/CEI 10646, formes normalisées, modèle de caractères,...

Contribution à l’Etude et à la Conception d’Agents Virtuels . . .

In this thesis, besides the developing a bilateral automated negotiation model between agents, in incomplete information state, integrating the personality effects of human on the negotiation process and outcomes, we proposed an architecture of such agents (―buyer‖ or ―seller‖). To do so, a new offer generation approach of three adaptive families of tactics has been proposed as follows: the tim...

Contribution des sous-ensembles flous à l'aide à la décision et à l'analyse structurale

Conception et implémentation d'un système d'aide à la spécification et à la preuve de programmes ML

One should not underestimate the import of being able to verify the conformance between a program and its specification. Furthermore, being able to verify it using a dedicated program allows one to check the correctness of this verification. For this purpose, one uses proof assistants, which are programs that allows to describe the problem, build proofs, then check them. There are more than one...

Boîte à outils SVM simple et rapide

RÉSUMÉ. Si les SVM (Support Vector Machines, ou Séparateurs à Vaste Marge) sont aujourd’hui reconnus comme l’une des meilleures méthodes d’apprentissage, ils restent considérés comme lents. Nous proposons ici une boîte à outils Matlab permettant d’utiliser simplement et rapidement les SVM grâce à une méthode de gradient projeté particulièrement bien adaptée au problème : SimpleSVM [VIS 03]. Nou...